Nuprl Definition : state_after
0,22
postcript
pdf
state_after(
e
;
info
;
pred?
;
init
;
Trans
;
val
) == 2of(when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
))
latex
Definitions
2of(
t
)
,
when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
)
FDL editor aliases
state_after
origin